fully normal space

完全正规空间